翻訳と辞書 Words near each other ・ Weak evolutionarily stable strategy ・ Weak focusing ・ Weak form and strong form ・ Weak formulation ・ Weak generative capacity ・ Weak gravitational lensing ・ Weak Hausdorff space ・ Weak heap ・ Weak Hopf algebra ・ Weak hypercharge ・ Weak in the Presence of Beauty ・ Weak in the Presence of Beauty (album) ・ Weak in the Presence of Beauty (song) ・ Weak inflection ・ Weak interaction ・ Weak interpretability ・ Weak inverse ・ Weak isospin ・ Weak key ・ Weak localization ・ Weak measurement ・ Weak Moments of the Shadows ・ Weak n-category ・ Weak noun ・ Weak NP-completeness ・ Weak ontology ・ Weak ontology (political concept) ・ Weak operator topology ・ Weak ordering ・ Weak position (poetry) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Weak interpretability ： ウィキペディア英語版 Weak interpretability In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the language of S in such a way that the translation of every theorem of T is consistent with S. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas. A generalization of weak interpretability, tolerance, was introduced by Giorgi Japaridze in 1992. ==See also== *Interpretability logic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Weak interpretability」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.